Observational interpretation of Casl specifications
نویسندگان
چکیده
منابع مشابه
Observational interpretation of Casl specifications
MICHEL BIDOIT†, DONALD SANNELLA‡ and ANDRZEJ TARLECKI§ † Laboratoire Spécification et Vérification, CNRS & ENS de Cachan, France Website: www.lsv.ens-cachan.fr/~bidoit/ ‡ Laboratory for Foundations of Computer Science, University of Edinburgh, UK Website: homepages.inf.ed.ac.uk/dts/ § Institute of Informatics, Warsaw University, and Institute of Computer Science, Polish Academy of Sciences, War...
متن کاملCasl Specifications of Qualitative Calculi
In AI a large number of calculi for efficient reasoning about spatial and temporal entities have been developed. The most prominent temporal calculi are the point algebra of linear time and Allen’s interval calculus. Examples of spatial calculi include mereotopological calculi, Frank’s cardinal direction calculus, Freksa’s double cross calculus, Egenhofer and Franzosa’s intersection calculi, an...
متن کاملDO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specifications of observers on dynamic sorts. The need for such constructs arose during the development of a CASL library for distributed systems. Indeed, we have frequently used the same pattern of specification, in order to...
متن کاملSemantics of Architectural Specifications in CASL
We present a semantics for architectural specifications in Casl, including an extended static analysis compatible with modeltheoretic requirements. The main obstacle here is the lack of amalgamation for Casl models. To circumvent this problem, we extend the Casl logic by introducing enriched signatures, where subsort embeddings form a category rather than just a preorder. The extended model fun...
متن کاملUnit Testing for CASL Architectural Specifications
The problem of testing modular systems against algebraic specifications is discussed. We focus on systems where the decomposition into parts is specified by a Casl-style architectural specification and the parts (units) are developed separately, perhaps by an independent supplier. We consider how to test such units without reference to their context of use. This problem is most acute for generi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2008
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129507006536